\begin{tabbing}
es{-}real\=\{i:l\}\+
\\[0ex](\=${\it es}$.locl(mkid\{b:ut2\}) sends [mkid\{tg:ut2\},$\lambda$$x$.\+
\\[0ex]$x$\{$\mathbb{B}\rightarrow\mathbb{B}$\}(mkid\{done:ut2\})] on link mklnk\{loc1:ut2, loc2:ut2, 1:ut2\} once)
\-\-
\end{tabbing}